Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic
نویسندگان
چکیده
Normative sentences can be used to change or to describe the normative system, known as prescriptive and descriptive obligations respectively. In applications of deontic logic it is important to distinguish these two uses of normative sentences. In this paper we show how they can be distinguished and analysed in a dynamic epistemic deontic logic.
منابع مشابه
An Update Semantics for Prima Facie Obligations
The deontic logic dus is a deontic update semantics for prescriptive obligations based on the update semantics of Veltman. In dus the definition of logical validity of obligations is not based on static truth values but on dynamic action transitions. In this paper prescriptive prima facie obligations are formalized in update semantics. The logic formalizes the specificity principle, has reinsta...
متن کاملDynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations
The deontic update semantics is a dynamic semantics for prescriptive obligations based on Veltman's update semantics, in which the dynamic evaluation of connicts of hierarchic obligations naturally leads to defeasibility. In this paper we use this dynamic semantics to study the diagnostic problem of defeasible deontic logic. For example, consider a defeasible obligationòught to be done' togethe...
متن کاملReasoning About Obligations in Obligationes: A Formal Approach
Despite the appearance of ‘obligation’ in their name, medieval obligational disputations between an Opponent and a Respondent seem to many to be unrelated to deontic logic. However, given that some of the example disputations found in medieval texts involve Respondent reasoning about his obligations within the context of the disputation, it is clear that some sort of deontic reasoning is involv...
متن کاملAn Update Semantics for Deontic Reasoning
In this paper we propose the deontic logic dus, that formalizes reasoning about prescriptive obligations in update semantics. In dus the deenition of logical validity of obligations is not based on truth values but on action dynamics. You know the meaning of a normative sentence if you know the change it brings about in the betterness relation of anyone who is subjected to the news conveyed by ...
متن کاملRights, Duties and Commitments between Agents
In this paper we introduce a multi agent de-ontic update semantics, that builds on a logic of prescriptive obligations (norms) and a logic of descriptive obligations (normative propositions). In this preference-based logic we formalize rights as a new type of strong prescriptive permissions and duties and commitments as prescriptive obligations between agents. 1 Introduction In groups of agents...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009